formal abstraction

формальная абстракция

Англо-русский словарь по исследованиям и ноу-хау. . 2015.

Смотреть что такое "formal abstraction" в других словарях:

  • Formal equivalence checking — process is a part of electronic design automation (EDA), commonly used during the development of digital integrated circuits, to formally prove that two representations of a circuit design exhibit exactly the same behavior. Equivalence checking… …   Wikipedia

  • abstraction — ab•strac•tion [[t]æbˈstræk ʃən[/t]] n. 1) an abstract or general idea or term 2) the act of considering something in terms of general qualities, apart from concrete realities, specific objects, or actual instances 3) absent mindedness;… …   From formal English to slang

  • Abstraction — This article is about the concept of abstraction in general. For other uses, see abstraction (disambiguation). Abstraction is a process by which higher concepts are derived from the usage and classification of literal ( real or concrete )… …   Wikipedia

  • Abstraction (computer science) — In computer science, abstraction is the process by which data and programs are defined with a representation similar to its pictorial meaning as rooted in the more complex realm of human life and language with their higher need of summarization… …   Wikipedia

  • Formal science — A formal science is a theoretical study that is concerned with theoretical formal systems, for instance, logic, mathematics, systems theory and the theoretical branches of computer science, information theory, economics, statistics, and… …   Wikipedia

  • Formal verification — In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods… …   Wikipedia

  • Abstraction-Création — ▪ art group       association of international painters and sculptors that from 1931 to 1936 promoted the principles of pure abstraction (abstract art) in art.       The immediate predecessor of the Abstraction Création group was the Cercle et… …   Universalium

  • abstraction — [[t]æbstræ̱kʃ(ə)n[/t]] abstractions 1) N VAR An abstraction is a general idea rather than one relating to a particular object, person, or situation. [FORMAL] Is it worth fighting a big war, in the name of an abstraction like sovereignty? Syn:… …   English dictionary

  • abstraction — UK [æbˈstrækʃ(ə)n] / US [æbˈstrækʃən] noun Word forms abstraction : singular abstraction plural abstractions 1) [countable/uncountable] an idea or way of thinking that is not related to real situations or practical experiences a philosophical… …   English dictionary

  • Formal specification — A formal specification is a mathematical description of software or hardware that may be used to develop an implementation. It describes what the system should do, not (necessarily) how the system should do it. Given such a specification, it is… …   Wikipedia

  • abstraction — abstractional, adj. /ab strak sheuhn/, n. 1. an abstract or general idea or term. 2. the act of considering something as a general quality or characteristic, apart from concrete realities, specific objects, or actual instances. 3. an impractical… …   Universalium


Другие книги по запросу «formal abstraction» >>

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.